cd Src/solvers/minisat/core
rm -rf Solver.o
cd ..
cd ..
cd ..
cd core
make clean
cd ..
cd c_examples
make clean
cd ..
cd cpp_examples
make clean
cd ..
cd java_examples
make clean
cd ..
cd ocaml_examples
make clean
cd ..
